home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import java.awt.Color;
- import java.awt.Component;
- import java.awt.Graphics;
- import java.awt.Insets;
- import javax.swing.border.LineBorder;
-
- class CommentView$CommentBorder extends LineBorder {
- CommentView$CommentBorder() {
- super(Color.black, 1);
- }
-
- public Insets getBorderInsets(Component var1) {
- Insets var2 = super.getBorderInsets(var1);
- var2.left += 3;
- var2.right += 3;
- return var2;
- }
-
- public boolean isBorderOpaque() {
- return false;
- }
-
- public void paintBorder(Component var1, Graphics var2, int var3, int var4, int var5, int var6) {
- super.paintBorder(var1, var2, var3 + 3, var4, var5 - 9, var6);
- }
- }
-